5

UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS

Year:
2019
Language:
english
File:
PDF, 256 KB
english, 2019
9

Almost structurally complete infinitary consequence operations extending S4.3

Year:
2015
Language:
english
File:
PDF, 353 KB
english, 2015
15

Almost structural completeness; an algebraic approach

Year:
2016
Language:
english
File:
PDF, 779 KB
english, 2016
32

Unification in first-order transitive modal logic

Year:
2019
Language:
english
File:
PDF, 679 KB
english, 2019
35

Structural Completeness of Gödel's and Dummett's Propositional Calculi

Year:
1973
Language:
english
File:
PDF, 575 KB
english, 1973
42

Structural completeness of Gödel's and Dummett's propositional calculi

Year:
1973
Language:
english
File:
PDF, 201 KB
english, 1973
44

Synthesis of Aryl Ethers from Aromatic Carboxylic Acids

Year:
2013
Language:
english
File:
PDF, 215 KB
english, 2013